🇬🇧 en ru 🇷🇺

paraconsistent logic noun

  • (logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.
 паранепротиворечи́вая ло́гика
Wiktionary Links